Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Source URL: ect.bell-labs.com

• Logic in computer science
• Programming language semantics
• Type theory
• Logic programming
• Automated theorem proving
• Operational semantics
• Substitution
• Syntax
• Type system
• Semantics
• C++ classes
• Monad

Applied Type System? (Extended Abstract) Hongwei Xi Boston University Abstract. The framework Pure Type System (PTS) offers a simple

Source URL: www.ats-lang.org

W-TYPES IN HOMOTOPY TYPE THEORY BENNO VAN DEN BERG1 AND IEKE MOERDIJK2 Abstract. We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition,

Source URL: staff.fnwi.uva.nl

Types for controlling heap and space in Java Emmanuel Hainry and Romain P´echoux Universit´e de Lorraine, LORIA, UMR 7503, Nancy, France {hainry,pechoux}@loria.fr Abstract. A type system is introduced for a strict but

Source URL: fopara2013.cs.unibo.it

Lintent: towards security type-checking of Android applications Michele Bugliesi, Stefano Calzavara, and Alvise Spanò Università Ca’ Foscari Venezia Abstract. The widespread adoption of Android devices has attracted

Source URL: www.dais.unive.it

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

Tension field and Index form of Energy-Type Functionals Stefan Bechtluft-Sachs July 22, 2002 Abstract We derive variational formulae for natural first order energy functionals and obtain criteria for the stability of iso

Source URL: archive.maths.nuim.ie

LOCAL TRANSFER AND REDUCIBILITY OF INDUCED REPRESENTATIONS OF p-ADIC GROUPS OF CLASSICAL TYPE MAHDI ASGARI, JAMES W. COGDELL, AND FREYDOON SHAHIDI Abstract. We analyze reducibility points of representations of p-adic gro

Source URL: math.okstate.edu

Finite type Polish groups Hiroshi Ando Abstract: Popa introduced a class of finite type Polish group. A Polish group is called of finite type if is embeddable into the unitary group of some II1 factor. These groups are t

Source URL: www.mat.univie.ac.at

A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract

Source URL: ect.bell-labs.com

• Type theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Base
• Mathematics
• Structure